((v1 v2 7) (v1 v3 3) (v2 v3 0) (v1 v4 9) (v2 v4 5) (v3 v4 2))
23
((v3 v1) (v2 v4))